Studies
Research
About NLA
NO
Menu
Studies
Search programmes
Online Studies
Exchange
For Students
All about Semester Start
Tools for Students
Your Studies
Internship
Library
IT-help
Study at NLA
Our Campuses
Why Choose NLA
Life as a Student
Our Alumni
About NLA
History and Identity
Find Employees
Organization
Statutes and plans
For Press
Support NLA
Research and development
Publications
Research Groups
IT-Help
Find publications
Multimodal proof and derivation
Published in CERME 7, 2011
Read the article here
Reinert Andre Rinvold
Carl Andreas Lorange
